1. Finite automata, their algebras and grammars
پدیدآورنده: J. Richard Buchi ; Dirk Siefkes, editor,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Sequential machine theory
رده :
QA
.
S4B83
267
.
5
1989
2. Finite automata : their algebras and grammars : Towards a theory of formal expressions
پدیدآورنده: Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4B83
1988
3. The collected works of J. Richard Buchi
پدیدآورنده: Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Logic, Symbolic and mathematical,، Buchi, J. Richard, 4291-4891
رده :
QA
267
.
B79
1990
4. The monadic second order theory of all countable ordinals
پدیدآورنده: Buchi, J. Richard
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Gنdel's theorem,، Model theory
رده :
QA
3
.
L28
no
.
328
5. The monadic second order theory of all countable ordinals
پدیدآورنده: Buchi, J. Richard.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Godel's theorem,، Model theory
رده :
QA
1
.
L4
v
.
328
6. The monadic second order theory of all countable ordinals
پدیدآورنده: Buchi, J. Richard
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Model theory
رده :
QA
9
.
65
.
B8
1973
7. The monadic second order theory of all countable ordinals
پدیدآورنده: Buchi, J. Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Godel's theorem,Model theory
رده :
QA
3
.
L28
no
.
328
8. The monadic second order theory of all countable ordinals
پدیدآورنده: Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel's theorem,، Model theory
رده :
QA
3
.
L28
Vol
.
328
